The generator matrix 1 0 1 1 1 1 1 1 1 X 1 1 1 1 aX 1 1 1 1 (a+1)X 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 X aX (a+1)X 1 1 1 0 1 (a+1)X+1 a (a+1)X+a+1 X aX+1 X+a aX+a+1 1 aX X+1 aX+a X+a+1 1 (a+1)X 1 (a+1)X+a a+1 1 0 (a+1)X+1 a X aX+1 X+a (a+1)X+a+1 aX+a+1 aX X+1 aX+a X+a+1 (a+1)X 1 (a+1)X+a a+1 1 1 1 1 0 X aX generates a code of length 43 over F4[X,sigma]/(X^2) who´s minimum homogenous weight is 128. Homogenous weight enumerator: w(x)=1x^0+39x^128+192x^129+12x^132+12x^140 The gray image is a linear code over GF(4) with n=172, k=4 and d=128. As d=128 is an upper bound for linear (172,4,4)-codes, this code is optimal over F4[X,sigma]/(X^2) for dimension 4. This code was found by Heurico 1.16 in 6.87e-008 seconds.